package edu.iyte.ceng.codegen.keywords;

public class ReservedKeywords {

	public static final String BODY = "body";
	public static final String _BODY = "body";
	public static final String CONTEXT = "context";
	public static final String _CONTEXT = "context";
	public static final String DEFINITION = "definition";
	public static final String _DEFINITION = "def";
	public static final String DERIVED = "derived";
	public static final String _DERIVED = "derive";
	public static final String ENDPACKAGE = "endpackage";
	public static final String _ENDPACKAGE = "endpackage";
	public static final String INVARIANT = "invariant";
	public static final String _INVARIANT = "inv";
	public static final String INITIAL = "initial";
	public static final String _INITIAL = "init";
	public static final String PACKAGE = "package";
	public static final String _PACKAGE = "package";
	public static final String POSTCONDITION = "postcondition";
	public static final String _POSTCONDITION = "post";
	public static final String PRECONDITION = "precondition";
	public static final String _PRECONDITION = "pre";

	public static final String[] KEYWORD_LIST = new String[] { _INVARIANT,
			_POSTCONDITION, _PRECONDITION, _DEFINITION, _BODY, _INITIAL,
			_DERIVED, _CONTEXT, _PACKAGE, _ENDPACKAGE };
}
